run time verification

[计] 运行时确认, 运行时验证